Mathematical optimization software